Перегляд за автором "Ясочка, М.В."

Сортувати за: Порядок: Результатів:

  • Бойко, Ю.В.; Глибовец, Н.Н.; Ершов, С.В.; Крывый, С.Л.; Погорилый, С.Д.; Ролик, А.И.; Теленик, С.Ф.; Куляс, А.И.; Крак, Ю.В.; Ясочка, М.В. (Управляющие системы и машины, 2015)
    Представлен аналитический обзор современных методов верификации программного обеспечения параллельных и распределенных систем. Описаны методы верификации на основе исследования свойств конечных автоматов, сетей Петри и ...